Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
WeiterlesenThis book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
WeiterlesenThis book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
WeiterlesenThis book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
WeiterlesenThis book constitutes the refereed proceedings of the First International Conference on Grid and Pervasive Computing, GPC ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Conference on Grid and Pervasive Computing, GPC ...
Weiterlesenhis book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, ...
WeiterlesenThis book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, ...
WeiterlesenThousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
WeiterlesenThousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain ...
WeiterlesenThis book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...
WeiterlesenThis book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics ...
WeiterlesenIt focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
WeiterlesenIt focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
WeiterlesenThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
WeiterlesenThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
WeiterlesenThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
WeiterlesenThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
WeiterlesenThe book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
WeiterlesenThe papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON ...
Weiterlesen